Production systems with interruptions, arbitrary topology and finite buffers

We consider a production system with finite buffers and arbitrary topology where service time is subject to interruptions in one of three ways, viz. machine breakdown, machine vacations or Npolicy. We develop a unified approximation (analytical) methodology to calculate the throughput of the system using queueing networks together with decomposition, isolation and expansion techniques. The methodology is rigorously tested covering a large experimental region. Orthogonal arrays are used to design the experiments in order to keep the number of experiments manageable. The results obtained using the approximation methodology are compared to the simulation results. The ttests carried out to investigate the differences between the two results show that they are statistically insignificant. Finally, we test the methodology by applying it to several arbitrary topology networks. The results show that the performance of the approximation methodology is consistent, robust and produces excellent results in a variety of experimental conditions.     

Exchangeable Random Orders and Almost Uniform Distributions

Random orders on invariant under permutations are called exchangeable. The compact and convex set of all random total orders is shown to be a Bauer simplex whose set of extreme points, the socalled totally ordered paintbox processes, is homeomorphically parametrized by almost uniform distributions on the unit interval, i.e. by probability measures w on [0, 1] whose distribution functions are w-almost surely the identity.     

An existence theorem for the Boussinesq equations with non-Dirichlet boundary conditions

The evolution Boussinesq equations describe the evolution of the temperature and velocity fields of viscous incompressible Newtonian fluids. Very often, they are a reasonable model to render relevant phenomena of flows in which the thermal effects play an essential role. In the paper we prescribe non-Dirichlet boundary conditions on a part of the boundary and prove the existence and uniqueness of solutions to the Boussinesq equations on a (short) time interval. The length of the time interval depends only on certain norms of the given data. In the proof we use a fixed point theorem method in Sobolev spaces with non-integer order derivatives. The proof is performed for Lipschitz domains and a wide class of data.     

Banach空间一阶脉冲微分方程的初值问题

利用单调迭代方法,在Ｂａｎａｃｈ空间研究了更为一般脉冲微分方程的初值问题的最小最大拟解的存在性及迭代逼近程序。     

Irreducibility testing over local fields

The purpose of this paper is to describe a method to determine whether a bivariate polynomial with rational coefficients is irreducible when regarded as an element in , the ring of polynomials with coefficients from the field of Laurent series in with rational coefficients. This is achieved by computing certain associated Puiseux expansions, and as a result, a polynomial-time complexity bound for the number of bit operations required to perform this irreducibility test is computed.

     

Higher-Order Corrections to the Effective Gravitational Action from Noether Symmetry Approach

Higher-order corrections of the Einstein–Hilbert action of general relativity can be recovered by imposing the existence of a Noether symmetry to a class of theories of gravity where the Ricci scalar R and its d'Alembertian R are present. In several cases, it is possible to get exact cosmological solutions or, at least, to simplify the dynamics by recovering constants of motion. The main result is that a Noether vector seems to rule the presence of higher-order corrections of gravity.     

Gaussian Limiting Behavior of the Rescaled Solution to the Linear Korteweg–de Vries Equation with Random Initial Conditions

We analyze the asymptotic behavior of the rescaled solution to the linear Korteweg–de Vries equation when the initial conditions are supposed to be random and weakly dependent. By means of the method of moments we prove the Gaussianity of the limiting process and we present its correlation function. The same technique is applied to the analysis of another third-order heat-type equation.     

Powder MAS NMR lineshapes of quadrupolar nuclei in the presence of second-order quadrupole interaction

We derive a complete analytical solution for the powder magic angle spinning (MAS) nuclear magnetic resonance (NMR) lineshape in the presence of second-order quadrupole interaction, considering a radiofrequency (rf) pulse of finite width, a finite MAS frequency, and a non-zero asymmetry parameter. I_x is calculated using two approaches. The first applies time-dependent perturbation theory in the presence of the rf pulse and stationary perturbation theory (SPT) in its absence. The second is based on the Magnus expansion of the density matrix in the interaction representation during the pulse and SPT in its absence. We solve the problem in the laboratory frame using the properties of the Fourier transform and spin operators. Diagonalisation is not required. Both approaches agree well with each other under all conditions and also with the transition probability approach for the central transition. The Magnus expansion exists at all times and the effect of the non-secular terms is negligible. We describe an analytical method of averaging I_x over the Euler angles and simulate the ¹¹B MAS NMR lineshapes for crystalline and vitreous B₂O₃. A critical analysis is given of all earlier calculations of the MAS NMR lineshape.     

扩展的Jacobi椭圆函数展开法和Zakharov方程组的新的精确周期解

对Jacobi椭圆函数展开法进行了扩展，且利用这一方法求出了Zakharov方程组的一系列新的精确周期解，在极限情况下可得到相应的孤波解，补充了前面研究的结果. 关键词： Jacobi椭圆函数展开法 非线性发展方程 精确解 周期解     

LBO晶体上1 064，532 nm倍频增透膜的镀制及性能分析

 用电子束蒸发沉积方法在X切LBO（X-LBO）晶体上镀制了两种不同膜系结构的1 064和532 nm倍频增透膜，其中一种膜系结构为基底/ZrO₂/Y₂O₃/Al₂O₃/SiO₂/空气，另一种为基底/0.5Al₂O₃/ZrO₂/Y₂O₃/Al₂O₃/SiO₂/空气，两种膜系结构的主要差别在于有无氧化铝过渡层。测量了薄膜的反射率光谱曲线，发现两种增透膜在1 064和532 nm处的反射率均小于0.5％，实际镀制结果与理论设计曲线的差异主要是由材料折射率的变化引起的。且对样品在空气环境中进行了温度为473 K的退火处理，结果发现两种膜系结构均表现了较优异的光学性能，氧化铝过渡层的加入使薄膜具有强的热应力性能。